A Proof Theory For Description Logics 1753

A Proof Theory For Description Logics | Alexandre Rademaker | Englisch

Arnon Avron On Semantics And Proof Theory Of Non-classical Logics 6312

Theory Of Graded Consequence A General Framework For Logics Of

Roman Kuznets (u. A.) | Logics Of Proofs And Justifications |

Description Logics In Multimedia Reasoning 5312

Formal Methods For Nonmonotonic And Related Logics Vol Ii: Theory

Leslie F. Sikos | Description Logics In Multimedia Reasoning | Buch |

A Model-theoretic Approach To Proof Theory 5739

Applied Proof Theory: Proof Interpretations And Their Use In

Reinhard Kahle (u. A.) | Advances In Proof Theory | Buch | Englisch

Henryk Kotlarski | A Model¿theoretic Approach To Proof Theory | Buch |

Logics Of Proofs And Justifications By Kuznets, Roman

A Proof Theory For General Unification | W. Snyder | Taschenbuch |

William A. Foley | The Role Of Theory In Language Description | Buch |

War And Its Ideologies A Social-semiotic Theory And Description 5113